nonmonotonic logic

Nonmonotonic Logic Based on Three-Valued Semantics

基于三值语义的非单调逻辑

A prioritized justification-based nonmonotonic logic is presented which can deal with nonmonotonic reasoning more generally and effectively.

提出了带优先级的基于论据的非单调逻辑，从而能更有效地处理非单调推理。

By local rational theory of inductive reasoning, we modify the reasoning mode of common nonmonotonic logic, and so we provide a new formal method of inductive reasoning under the deductive model.

借助于归纳推理的局部合理性推论，本文修正了常见非单调逻辑的推理模式，从而提出了一种新的在演绎框架下实现归纳推理的形式方法。

In nonmonotonic logic, injective preferential models play an important role.

单射占优模型在非单调逻辑中具有重要的地位。

Constrasted with other semantics theories of nonmonotonic logic programming, Answer Set semantics, the kernel of Answer Set programming technology, is concise and simple, and fully utilizes the fruits acquired by the logic programming community, and effectively realizes nonmonotonic reasoning of the logic program.

作为该类编程技术的核心，Answer Set语义相对其它非单调逻辑编程语义理论简洁明了，它充分利用了逻辑编程领域的已有成果，有效地实现了逻辑程序的非单调推理。

Negation in Logic Programs and Nonmonotonic Logic

逻辑程序中的否定问题与非单调逻辑

Nonmonotonic reasoning systems including default logic logic are important in the commonsense reasoning of artificial intelligence.

非单调推理是人工智能领域中一类重要的常识推理,其中包含缺省逻辑、自认知逻辑等内容.